Nuprl Definition : natural_number def
9,38
postcript
pdf
$n is Primitive
latex
clarification:
#$n is Primitive
latex
origin